Skip to content

Conversation

@amandelpie
Copy link
Collaborator

Description

Adds a cluster comment for tests produced by Smart Fuzzer

Fixes #430

Type of Change

  • New feature (non-breaking change which adds functionality)

@amandelpie amandelpie changed the title Proposed an initial solution Adds a cluster comment for tests produced by Smart Fuzzer Sep 5, 2022
@amandelpie amandelpie requested a review from onewhl September 7, 2022 10:48
Copy link
Member

@onewhl onewhl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you! Please, take a look at several minor comments

@amandelpie amandelpie enabled auto-merge (squash) September 7, 2022 11:32
@amandelpie amandelpie disabled auto-merge September 7, 2022 11:36
# Conflicts:
#	utbot-summary/src/test/kotlin/org/utbot/summary/comment/SymbolicExecutionClusterCommentBuilderTest.kt
@amandelpie amandelpie merged commit e856e5f into main Sep 7, 2022
@amandelpie amandelpie deleted the amandelpie/feature-430 branch September 7, 2022 13:21
@alisevych alisevych linked an issue Sep 9, 2022 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Successful and tests with exceptions are put into one unnamed region Summaries should handle correctly UtExecution generated by Fuzzer

3 participants